Haskell Crash Course
yager.io·1h
🔗Lisp
Efficient and Reliable Hitting-Set Computations for the Implicit Hitting Set Approach
arxiv.org·18h
🎯Performance Proofs
NZ1: A minimalist, dependency-free data compression algorithm
github.com·20m·
Discuss: Hacker News
🌊Streaming Compression
🛠 Type‑Safe DSLs in Go — No Magic, Just Go ⚡
dev.to·17h·
Discuss: DEV
🌐Protocol Synthesis
Programming languages and dimensions of units of measure
cl.cam.ac.uk·2d·
Discuss: Hacker News
💻Programming languages
Is Chain-of-Thought Reasoning of LLMs a Mirage? A Data Distribution Lens – 2508.01191v2.pdf
jmason.ie·8h
📏Linear Logic
Lambdas, Nested Functions, and Blocks
thephd.dev·23h·
Discuss: Hacker News
🐚Shell Combinators
How Did I Possibly Break This?
funcall.blogspot.com·15h·
Discuss: www.blogger.com
🎯Gradual Typing
Custom rules in GitLab Duo Agentic Chat for greater developer efficiency
about.gitlab.com·22h
🔄Language Evolution
My tiny (1000 lines), fastish, embeddable scripting language can be AOT compiled
wareya.wordpress.com·17h·
Discuss: Lobsters, Hacker News
🏗️Compiler Archaeology
Generic Containers in C: Safe Division Using Maybe
uecker.codeberg.page·1d·
Discuss: Hacker News, r/programming
🔒Type Safety
Unducking Typescript primitive aliases
zerotrickpony.com·1d·
Discuss: Lobsters, Hacker News, r/programming
🎯Gradual Typing
OCaml Blockly
cambridge.org·1d·
Discuss: Hacker News
🧠Lisp Dialects
Song recommendations with free monads
blog.ploeh.dk·1d
🐚Shell Monads
Design Review: LattePanda Mu NAS Carrier
hackaday.com·5h
⚡Circuit Archaeology
Patterns of Functional Programming: Functional Core – Imperative Shell
javiercasas.com·3h·
Discuss: Hacker News
🐚Shell Monads
In Order Traversal in Haskell and Rust
mmhaskell.com·1d·
Discuss: Hacker News
🦀Rust Verification
Reducing Time to Value for Data Science Projects: Part 4
towardsdatascience.com·3h
🔄Reproducible Builds
Go 1.5 Release Notes
go.dev·1h·
Discuss: Hacker News
🔗Static Linking
[Media] Tur - A language for defining and executing Turing machines with multi-platform visualization tools (Web, TUI and CLI) written in Rust 🦀
reddit.com·1d·
Discuss: r/rust
🦀Rust Macros